proof theory 예문

• It would be fair to say that Post's thesis marks the beginning of proof theory.
  그것은 포스트 논문 증거가 이론의 시작 부분에 자국이 말을 공정하게된다.
• Modern proof theory, and likewise the modern theory of machine computation, hinge on the concept of the recursive function.
  현대 증거 이론, 그리고 마찬가지로 기계 계산의 현대 이론, 재귀 함수의 개념에 경첩.
• In 1934 and 1939 two volumes of Grundlagen der Mathematik were published which were intended to lead to a 'proof theory', a direct check for the consistency of mathematics.
  1934 및 Grundlagen 데르 Mathematik 1939 2 볼륨에서 어떤 의도로 이어질됐다 출판 '증거 이론이'수학의 일관성을 직접 확인하시기 바랍니다. 괴델 '자라 종이들이 목적은 불가능했다.
• Metamathematics, introduced by Hilbert in 1922 meaning "proof theory" as a part of his programme to establish the consistency of arithmetic, was transformed by Tarski when he introduced semantic methods leading to his development of model theory with its combination of semantic and syntactic relations. Sinaceur writes :
  Metamathematics, 1922 교슈님 의미에서 자신의 프로그램의 일환으로 "증거 이론"을 도입, Tarski에 의해 그 의미 론적 방법은 모델을 할 때 그의 이론의 발전에 선도적인 도입의 조합으로 탈바꿈했다 산술의 일관성을 확립하고 통사론의 관계를 의미합니다.